Decomposition and infima in the computably enumerable degrees
نویسندگان
چکیده
Given two incomparable c.e. Turing degrees a and b, we show that there exists a c.e. degree c such that c = (a∪ c)∩ (b∪ c), a∪ c ∣∣b∪ c, and c < a ∪ b.
منابع مشابه
The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees
The existence of isolated degrees was proved by Cooper and Yi in 1995 in [6], where a d.c.e. degree d is isolated by a c.e. degree a if a < d is the greatest c.e. degree below d. A computably enumerable degree c is non-isolating if no d.c.e. degree above c is isolated by c. Obviously, 0 is a non-isolating degree. Cooper and Yi asked in [6] whether there is a nonzero non-isolating degree. Arslan...
متن کاملUniversal computably enumerable sets and initial segment prefix-free complexity
We show that there are Turing complete computably enumerable sets of arbitrarily low non-trivial initial segment prefix-free complexity. In particular, given any computably enumerable set A with non-trivial prefixfree initial segment complexity, there exists a Turing complete computably enumerable set B with complexity strictly less than the complexity of A. On the other hand it is known that s...
متن کاملComputably Enumerable Reals and Uniformly Presentable Ideals
We study the relationship between a computably enumerable real and its presentations. A set A presents a computably enumerable real α if A is a computably enumerable prefix-free set of strings such that α = ∑ σ∈A 2 −|σ|. Note that ∑ σ∈A 2 −|σ| is precisely the measure of the set of reals that have a string in A as an initial segment. So we will simply abbreviate ∑ σ∈A 2 −|σ| by μ(A). It is know...
متن کاملThe ibT degrees of computably enumerable sets are not dense
We show that the identity bounded Turing degrees of computably enumerable sets are not dense.
متن کاملIntervals without Critical Triples
This paper is concerned with the construction of intervals of computably enumerable degrees in which the lattice M5 (see Figure 1) cannot be embedded. Actually, we construct intervals I of computably enumerable degrees without any weak critical triples (this implies that M5 cannot be embedded in I, see Section 2). Our strongest result is that there is a low2 computably enumerable degree e such ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 68 شماره
صفحات -
تاریخ انتشار 2003